обьектный язык

target language

формализованный язык — formalized language

формализовать язык — formalize a language

функция языка — language oriented function

явно определенный язык — explicit language

язык без контроля типов — untyped language